Finitary set endofunctors are alg-universal
نویسندگان
چکیده
منابع مشابه
Finitary set endofunctors are alg-universal
A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. We prove here that the category of finitary endofunctors of the category Set is alg-universal. We also present an example of a proper class of accessible set functors with no natural transformations between them (except the obvious identities).
متن کاملBoolean Full Kripke Structures Are Alg-universal
Every group is isomorphic to the automorphism group of a Kripke structure with Boolean part equal to a power set Boolean algebra. More generally, we prove that the category of Kripke structures with Boolean part equal to a power set Boolean algebra and morphisms with complete Boolean part is alg-universal, which means that it contains any category of universal algebras as a full subcategory.
متن کاملUniversal finitary codes with exponential tails
In 1977, Keane and Smorodinsky [9] showed that there exists a finitary homomorphism from any finite-alphabet Bernoulli process to any other finite-alphabet Bernoulli process of strictly lower entropy. In 1996, Serafin [17] proved the existence of a finitary homomorphism with finite expected coding length. In this paper, we construct such a homomorphism in which the coding length has exponential...
متن کاملWeakly Terminal Objects in Quasicategories of SET Endofunctors
The quasicategory Q of all set functors (i.e. endofunctors of the category SET of all sets and mappings) and all natural transformations has a terminal object – the constant functor C1. We construct here the terminal (or at least the smallest weakly terminal object, which is rigid) in some important subquasicategories of Q – in the quasicategory F of faithful connected set functors and all natu...
متن کاملThe category of varieties and interpretations is alg-universal
A category is said to be alg-universal, if every category of universal algebras can be fully embedded into it. We prove here that the category of varieties and interpretations, or in other words, the category of abstract clones and clone homomorphisms, is alg-universal.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2007
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-007-2011-7